47 research outputs found
Device-independent certification of non-classical joint measurements via causal models
Quantum measurements are crucial for quantum technologies and give rise to
some of the most classically counter-intuitive quantum phenomena. As such, the
ability to certify the presence of genuinely non-classical joint measurements
in a device-independent fashion is vital. However, previous work has either
been non-device-independent, or has relied on post-selection---the ability to
discard all runs of an experiment in which a specific event did not occur. In
the case of entanglement, the post-selection approach applies an entangled
measurement to independent states and post-selects the outcome, inducing
non-classical correlations between the states that can be device-independently
certified using a Bell inequality. That is, it certifies measurement
non-classicality not by what it is, but by what it does. This paper remedies
this discrepancy by providing a novel notion of what measurement
non-classicality is, which, in analogy with Bell's theorem, corresponds to
measurement statistics being incompatible with an underlying classical causal
model. It is shown that this provides a more fine-grained notion of
non-classicality than post-selection, as it certifies the presence of
non-classicality that cannot be revealed by examining post-selected outcomes
alone.Comment: v3: updated in response to referee feedback. Close to published
version. 6 pages, 3 figures. v2: fixed typo in statement of Result 1 (missing
minus sign
Computation in generalised probabilistic theories
From the existence of an efficient quantum algorithm for factoring, it is
likely that quantum computation is intrinsically more powerful than classical
computation. At present, the best upper bound known for the power of quantum
computation is that BQP is in AWPP. This work investigates limits on
computational power that are imposed by physical principles. To this end, we
define a circuit-based model of computation in a class of operationally-defined
theories more general than quantum theory, and ask: what is the minimal set of
physical assumptions under which the above inclusion still holds? We show that
given only an assumption of tomographic locality (roughly, that multipartite
states can be characterised by local measurements), efficient computations are
contained in AWPP. This inclusion still holds even without assuming a basic
notion of causality (where the notion is, roughly, that probabilities for
outcomes cannot depend on future measurement choices). Following Aaronson, we
extend the computational model by allowing post-selection on measurement
outcomes. Aaronson showed that the corresponding quantum complexity class is
equal to PP. Given only the assumption of tomographic locality, the inclusion
in PP still holds for post-selected computation in general theories. Thus in a
world with post-selection, quantum theory is optimal for computation in the
space of all general theories. We then consider if relativised complexity
results can be obtained for general theories. It is not clear how to define a
sensible notion of an oracle in the general framework that reduces to the
standard notion in the quantum case. Nevertheless, it is possible to define
computation relative to a `classical oracle'. Then, we show there exists a
classical oracle relative to which efficient computation in any theory
satisfying the causality assumption and tomographic locality does not include
NP.Comment: 14+9 pages. Comments welcom
Deriving Grover's lower bound from simple physical principles
Grover's algorithm constitutes the optimal quantum solution to the search
problem and provides a quadratic speed-up over all possible classical search
algorithms. Quantum interference between computational paths has been posited
as a key resource behind this computational speed-up. However there is a limit
to this interference, at most pairs of paths can ever interact in a fundamental
way. Could more interference imply more computational power? Sorkin has defined
a hierarchy of possible interference behaviours---currently under experimental
investigation---where classical theory is at the first level of the hierarchy
and quantum theory belongs to the second. Informally, the order in the
hierarchy corresponds to the number of paths that have an irreducible
interaction in a multi-slit experiment. In this work, we consider how Grover's
speed-up depends on the order of interference in a theory. Surprisingly, we
show that the quadratic lower bound holds regardless of the order of
interference. Thus, at least from the point of view of the search problem,
post-quantum interference does not imply a computational speed-up over quantum
theory.Comment: Updated title and exposition in response to referee comments. 6+2
pages, 5 figure
Causal inference via algebraic geometry: feasibility tests for functional causal structures with two binary observed variables
We provide a scheme for inferring causal relations from uncontrolled
statistical data based on tools from computational algebraic geometry, in
particular, the computation of Groebner bases. We focus on causal structures
containing just two observed variables, each of which is binary. We consider
the consequences of imposing different restrictions on the number and
cardinality of latent variables and of assuming different functional
dependences of the observed variables on the latent ones (in particular, the
noise need not be additive). We provide an inductive scheme for classifying
functional causal structures into distinct observational equivalence classes.
For each observational equivalence class, we provide a procedure for deriving
constraints on the joint distribution that are necessary and sufficient
conditions for it to arise from a model in that class. We also demonstrate how
this sort of approach provides a means of determining which causal parameters
are identifiable and how to solve for these. Prospects for expanding the scope
of our scheme, in particular to the problem of quantum causal inference, are
also discussed.Comment: Accepted for publication in Journal of Causal Inference. Revised and
updated in response to referee feedback. 16+5 pages, 26+2 figures. Comments
welcom
Higher-order interference in extensions of quantum theory
Quantum interference lies at the heart of several quantum computational
speed-ups and provides a striking example of a phenomenon with no classical
counterpart. An intriguing feature of quantum interference arises in a three
slit experiment. In this set-up, the interference pattern can be written in
terms of the two and one slit patterns obtained by blocking some of the slits.
This is in stark contrast with the standard two slit experiment, where the
interference pattern is irreducible. This was first noted by Rafael Sorkin, who
asked why quantum theory only exhibits irreducible interference in the two slit
experiment. One approach to this problem is to compare the predictions of
quantum theory to those of operationally-defined `foil' theories, in the hope
of determining whether theories exhibiting higher-order interference suffer
from pathological--or at least undesirable--features. In this paper two
proposed extensions of quantum theory are considered: the theory of Density
Cubes proposed by Dakic et al., which has been shown to exhibit irreducible
interference in the three slit set-up, and the Quartic Quantum Theory of
Zyczkowski. The theory of Density Cubes will be shown to provide an advantage
over quantum theory in a certain computational task and to posses a
well-defined mechanism which leads to the emergence of quantum theory. Despite
this, the axioms used to define Density Cubes will be shown to be insufficient
to uniquely characterise the theory. In comparison, Quartic Quantum Theory is
well-defined and we show that it exhibits irreducible interference to all
orders. This feature of the theory is argued not to be a genuine phenomenon,
but to arise from an ambiguity in the current definition of higher-order
interference. To understand why quantum theory has limited interference
therefore, a new operational definition of higher-order interference is needed.Comment: Updated in response to referee comments. 17 pages. Comments welcom
Oracles and query lower bounds in generalised probabilistic theories
We investigate the connection between interference and computational power
within the operationally defined framework of generalised probabilistic
theories. To compare the computational abilities of different theories within
this framework we show that any theory satisfying three natural physical
principles possess a well-defined oracle model. Indeed, we prove a subroutine
theorem for oracles in such theories which is a necessary condition for the
oracle to be well-defined. The three principles are: causality (roughly, no
signalling from the future), purification (each mixed state arises as the
marginal of a pure state of a larger system), and strong symmetry existence of
non-trivial reversible transformations). Sorkin has defined a hierarchy of
conceivable interference behaviours, where the order in the hierarchy
corresponds to the number of paths that have an irreducible interaction in a
multi-slit experiment. Given our oracle model, we show that if a classical
computer requires at least n queries to solve a learning problem, then the
corresponding lower bound in theories lying at the kth level of Sorkin's
hierarchy is n/k. Hence, lower bounds on the number of queries to a quantum
oracle needed to solve certain problems are not optimal in the space of all
generalised probabilistic theories, although it is not yet known whether the
optimal bounds are achievable in general. Hence searches for higher-order
interference are not only foundationally motivated, but constitute a search for
a computational resource beyond that offered by quantum computation.Comment: 17+7 pages. Comments Welcome. Published in special issue
"Foundational Aspects of Quantum Information" in Foundations of Physic
Ruling out higher-order interference from purity principles
As first noted by Rafael Sorkin, there is a limit to quantum interference.
The interference pattern formed in a multi-slit experiment is a function of the
interference patterns formed between pairs of slits, there are no genuinely new
features resulting from considering three slits instead of two. Sorkin has
introduced a hierarchy of mathematically conceivable higher-order interference
behaviours, where classical theory lies at the first level of this hierarchy
and quantum theory theory at the second. Informally, the order in this
hierarchy corresponds to the number of slits on which the interference pattern
has an irreducible dependence. Many authors have wondered why quantum
interference is limited to the second level of this hierarchy. Does the
existence of higher-order interference violate some natural physical principle
that we believe should be fundamental? In the current work we show that such
principles can be found which limit interference behaviour to second-order, or
"quantum-like", interference, but that do not restrict us to the entire quantum
formalism. We work within the operational framework of generalised
probabilistic theories, and prove that any theory satisfying Causality, Purity
Preservation, Pure Sharpness, and Purification---four principles that formalise
the fundamental character of purity in nature---exhibits at most second-order
interference. Hence these theories are, at least conceptually, very "close" to
quantum theory. Along the way we show that systems in such theories correspond
to Euclidean Jordan algebras. Hence, they are self-dual and, moreover,
multi-slit experiments in such theories are described by pure projectors.Comment: 18+8 pages. Comments welcome. v2: Minor correction to Lemma 5.1, main
results are unchange
Quantum Common Causes and Quantum Causal Models
Reichenbach’s principle asserts that if two observed variables are found to be correlated, then there should be a causal explanation of these correlations. Furthermore, if the explanation is in terms of a common cause, then the conditional probability distribution over the variables given the complete common cause should factorize. The principle is generalized by the formalism of causal models, in which the causal relationships among variables constrain the form of their joint probability distribution. In the quantum case, however, the observed correlations in Bell experiments cannot be explained in the manner Reichenbach’s principle would seem to demand. Motivated by this, we introduce a quantum counterpart to the principle. We demonstrate that under the assumption that quantum dynamics is fundamentally unitary, if a quantum channel with input A and outputs B and C is compatible with A being a complete common cause of B and C, then it must factorize in a particular way. Finally, we show how to generalize our quantum version of Reichenbach’s principle to a formalism for quantum causal models and provide examples of how the formalism works